data X
  = B
     !Int -- ^ y
     C
